461. Programming with data structures:pascal version
پدیدآورنده : KRUSE,ROBERT LEROY
کتابخانه: (طهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , DATA STRUCTURES )COMPUTER SCIENCE( , PASCAL )COMPUTER PROGRAM
رده :
QA
76
.
6
.
K774
462. Protlem solving by digital computers with PL/I programming
پدیدآورنده : / Andrew Vazzonyi
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic digital Computers - Programming,PL/I (Computer program language)
رده :
651
.
8
Va-P
463. RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan
پدیدآورنده : edited by Eiichi Goto, Keijiro Araki, and Taiichi Yuasa
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer architecture,Congresses ، Computer software
رده :
QA
76
.
L4
v
.
220
464. RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings
پدیدآورنده : edited by Eiichi Goto ... )et al.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer architecture,Congresses ، Computer software
رده :
QA
76
.
L4
v
.
147
465. Real time programming 1980: Proceedings of the IFAC/IFIP workshop, schloss Retzhof, Leibinitz, Austria, 14- 16 April 1980
پدیدآورنده : edited by V.H.Haase, ist ed
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Real- time data processing - congresses,، Electronic digital computers- programming- congresses,، Ada )computer program language( - congresses
رده :
QA
76
.
54
.
R42
1980
466. Reasoning with a computer in Pascal
پدیدآورنده : Solow, Daniel
موضوع : ، Electronic digital computers- Programming,، Pascal )Computer program language(
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
467. #Rewriting techniques and applications
پدیدآورنده : #edited by Pierre Lescanne
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Rewriting systems )Computer science(- Congresses ،Electronic digital computers- Programming- Congresses ،Computer algorithms- Congresses
رده :
#
QA
،#.
R48
468. Rewriting techniques and applications : Dijon, France, May 20-22, 1985
پدیدآورنده : edited by Jean-Pierre Jouannaud
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer algorithms,Congresses ، Rewriting systems )computer science(
رده :
QA
76
.
L4
v
.
202
469. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
پدیدآورنده : International Conference on Rewriting Techniques and Applications )3rd: 9891: Chapel Hill, N.C.(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
رده :
QA
267
.
I555
1989
470. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings
پدیدآورنده : Ronald V. Book, ed
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Electronic digital computers -- Programming,Congresses ، Algorithms
رده :
QA
267
.
I555
1991
471. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings
پدیدآورنده : International Conference on Rewriting Techniques and Applications )4th: 1991: Como, Italy(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
رده :
QA
267
.
I555
1991
472. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
رده :
QA
267
.
I555
1993
473. Rudiments of FORTRAN
پدیدآورنده : Meissner, Loren P.
موضوع : ، FORTRAN )Computer program language(,، Electronic digital computers -- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
474. STOC'10 : proceedings of the 2010 ACM symposium on theory of computing, Cambridge, MA, USA, June 5-8 2010
پدیدآورنده : sponsored by ACM SIGACT; supported by Microsoft Research....]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2010
475. STOC'11 : proceedings of the 43rd ACM Symposium on Theory of Computing, June 6-8, 2011, San Jose, California, USA
پدیدآورنده : sponsored by : ACM SIGACT; supported by : Microsoft Research, Google, and IBM
کتابخانه: (طهران)
موضوع : Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2011
476. Schaum's outline of theory and problems of computers and programming
پدیدآورنده : by Francis Seheid
موضوع : Electronic digital Computer-- Programming,Programming languages (Electronic computers),Electronic digital computer-- Programming-- Problems, exercises, etc,Programming languages (Electronic Computers)-- problems, exercises etc
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
477. Schaum's outline of theory and problems of programming with pascal
پدیدآورنده : / Byron S Gottfried
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : PASCAL (Computer Program language),Electronic digital computers - Programming
رده :
QA76
.
73
.
P2G68
1984
478. Schuaum's outline of theory and problems of introduction to computer science
پدیدآورنده : Scheid, Francis
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Electronic digital computer- Programming
479. Scientific and engineering problem-solving with the computer
پدیدآورنده : Bennett, William Ralph
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، BASIC )Computer program language(,Data processing ، Problem solving
رده :
QA
76
.
6
.
B45
1976
480. Scientific and engineering problem-solving with the computer
پدیدآورنده : Bennett, William Ralph
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming,، BASIC )Computer program language(,، Problem solving-- Data processing
رده :
QA
76
.
6
.
B45